Improve deprecation note for gdk_device_manager_get_client_pointer

List gdk_seat_get_pointer as replacement. Suggested in
https://bugzilla.gnome.org/show_bug.cgi?id=759785

diff --git a/gdk/gdkdevicemanager.c b/gdk/gdkdevicemanager.c
index f2b955c1e6881730659e4f9aef18592709f20fe3..9e657e1d1a1b8a5c1a6c493d9ab265a380606da5 100644 (file)
--- a/gdk/gdkdevicemanager.c
+++ b/gdk/gdkdevicemanager.c
@@ -352,7 +352,7 @@ gdk_device_manager_list_devices (GdkDeviceManager *device_manager,
  *
  * Since: 3.0
  *
- * Deprecated: 3.20.
+ * Deprecated: 3.20: Use gdk_seat_get_pointer() instead.
  **/
 GdkDevice *
 gdk_device_manager_get_client_pointer (GdkDeviceManager *device_manager)